More from this Author

Electronic Voting

by Robert Krimmer (Editor), Melanie Volkamer (Editor), Bernhard Beckert (Editor), Ralf Küsters (Editor), Oksana Kulyk (Editor), David Duenas-Cid (Editor), Mikhel Solvak (Editor)

Tests and Proofs

by Bernhard Beckert (Editor), Reiner Hähnle (Editor)

Automated Reasoning with Analytic Tableaux and Related Methods

by Bernhard Beckert (Editor)

Formal Verification of Object-Oriented Software

by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Dilian Gurov (Editor)

Electronic Voting

by Robert Krimmer (Editor), Melanie Volkamer (Editor), Veronique Cortier (Editor), Bernhard Beckert (Editor), Ralf Küsters (Editor), Uwe Serdült (Editor), David Duenas-Cid (Editor)

Formal Verification of Object-Oriented Software

by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Dilian Gurov (Editor)

Deductive Software Verification - the KeY Book

by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Mattias Ulbrich (Editor)

Formal Methods for Components and Objects

by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)